typecheck af condition i while