syntax fix, and testing of the not_args fix.
syntax fix, and testing of the not_args fix.

ashish-gehani/OCCAM,ashish-gehani/OCCAM,SRI-CSL/OCCAM,ashish-gehani/OCCAM,SRI-CSL/OCCAM,SRI-CSL/OCCAM,SRI-CSL/OCCAM,SRI-CSL/OCCAM,ashish-gehani/OCCAM