Fix bug in ConcreteStateAdjusting taking into account predicates out of scope, allow interpolants and other predicates to be simplified