Update the Quintus Prolog adapter file to compile arithmetic expressions to use auxiliary clauses to avoid breaking `bagof/3` and `setof/3` calls