Avoid issue in previous commit with debug version of the compiled clauses