Refine type checking predicate clauses for scope