Revert "NI proof can now use invariants."

This reverts commit c82e901d55c8a8d3f07b2b0cf43efa3af3cfea03.