Jules makes stupid mistakes
hack to counter Z3's tendancy to invert the order of distinct arguments
disable smt logging by default