Add helper clauses to prolog output.