Variable declarations and return tests added. Fixed empty statement distinguishment from return and variable declarations (removed ambiguity and edited grammar).