Member predicate VariableWithFields::getField

Gets the field that is the last step of this variable with fields, if any.

For example, the field c for the variable with fields a.b.c.