match(SVSubstitute subst, MatchConditions mc, Services services) a match between two logic variables is possible if they have been assigned
they are same or have been assigned to the same abstract name and the sorts
are equal.
a match between two logic variables is possible if they have been assigned
they are same or have been assigned to the same abstract name and the sorts
are equal.