Made "catchUp" tasks for anonymous inner classes and local innerclasses
added a missing "ensures" keyword.
Made standard Java classes such as Object, Class, etc reinitializable.
Added an accessor oper() for the uniform treatment of all kinds of
corrected a minor syntax error in the JML specification of the method
Added a query method constructor().
fixing the problem of the main method returning 0 when an input file is not
Added an accessor getCField for use in JML.