InPlaceAbstractState should filter variables at the tail from a GetLocal by their...