stable: operator variable added
stable: implement prevailCondition constraint