encode fixpoint sorts to smt better