Simplify compilation of auxiliary clauses and runtime terms