Member predicate VariableWithFields::getParent
Gets the variable with fields corresponding to the parent of this variable with fields.
For example, the variable with fields corresponding to a.b
for the variable with fields
corresponding to a.b[c]
.