more flexible T_max
avoid infinite loop setSat_p <-> setSTate_pd
testing down to p_trip only