Change semantics of satisfy any node.