add abstract cast check to bool for EIf/EWhile