corrections to scope adjustment and pattern matching predicates