SAT/BoolExp.hs (asList) : return with the most simplified value (version 0.1.8.3)