RuleWatchNode.php Interfaces, Classes and Traits RuleWatchNode Wrapper around a Rule which keeps track of the two literals it watches