Further simplify the compiler code that saves information about defined predicates