Change of instructs predicate