Hoisted Predicates

(All CR/LF's will be converted to "\n")

Output/Error: