For casc : print models of functions rewritten by sort inference.