Adds more changes to NDProofs, regarding isLogic function