protected bool IsNumberL1L() { // TODO: meaningful (translated?) error message if (Child.IsNumber()) throw new SemanticsErrorException(this, "Child must be logic value"); return true; }