add deductions to allow us to skip some unexplored nodes