Revert "fix red holes sometimes appearing as green in hole results"

This reverts commit ec260ba0bbe66bbc7400cc49f0d473ad2f5eced3.
Fix Hole result inference to update everything as necessary