Statements now checking right, have to fix the statementList order of evaluation, Several functions in Checker.hs
fixed markInitialized, it should ONLY be called if the var exists