Added validation tests.
Fixed For and flattened variables declaration (missing tests)
Fixes variable EObject typing