Fixes arguments method in NDProofs to check input. Adding isLogic and isNumber methods.