removing states that are not included in the set of abstracted function states