Compute the declarations for FOR-AS-ARITHMETIC clause.
Fixed typos.
Access the function rather than the variable.
Added methods for termination test.
Added methods for step forms.