Type checking numeric for without allowing control variable to be annotated