typeChecker: checkStmt SForIn