typeChecker: checkStmt SAssign, SCall