correct 2 bugs
1. Do not split intervals for strings and floats
   (and thus do not call the failing prev_constant on strings)

2. Delay constant filtering (as interval filering was) in every_satisfiable.
   (could be done differently by making filter one work on non-disjoint
    intervals *)