SAT/BooExp.hs (asList) : return sorted list (version 0.1.8.2)