Added statement/decleration alternation according to 3.1.6.
Added 'double assignment' according to 3.1.7.