internal override List<string> ReferredToVariables() { var ret = new List<string>(); if (Operator == Model.Operator.Take_Exists) return ret; ret.AddRange(LeftHand.ReferredToVariables()); ret.AddRange(RightHand.ReferredToVariables()); return ret; }