for while statement there are fileds like Expression condition and statement body, which are necessary in every while statement
should i do
condition.checktype(d, s); body.checktype(d,s) ; if(invariante != null) do invariante.checktype if(term != null) also do a typecheck for term
(invariante and term are Expression)
is it too simple?
since condition is a expression, its typeCheck methode will return a Type type or null with a printError() , but body is a statement, whose typecheck method does not return any type (void)
do I need to do something more to handle them differently?