public override bool ResolveNames() { return(Cond.ResolveNames() && Then.ResolveNames() && Else.ResolveNames()); }