Prevent DeMorgan's optimizations preventing the identification of factors
Fix failure to propagate completion upward in trees for puzzles