bugfix in Type.Conv.to_prolog
simpler cnf in hysteresis