Moved predicates to global scope, started work on LET