StatementTest: updated due to typechecker error change