[TypeCheck] if,for,while statement condition type check and return type check