protected override bool Compare(Subset <IVariable> left, Subset <IVariable> right) { return(left.Equals(right)); }
protected override bool Compare(Subset <DefinitionInstruction> left, Subset <DefinitionInstruction> right) { return(left.Equals(right)); }