do hashconsing by default + solver test setting + small bug fix