Member predicate VariableWithFields::getElement

Gets the element that this variable with fields reads, if any.

For example, the string value of c for the variable with fields a.b[c].