Update control.pvs

added lambda abstraction definition for is_invertible predicate.