Search for a AND (NOT a), a OR (NOT a), when doing node creation. This is necessary on some sage benchmarks.
Search for a AND (NOT a), a OR (NOT a), when doing node creation. This is necessary on some sage benchmarks.

kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp