Minor cleanup let expressions
Rename pred → predicate