Adds an additional constructor to 'PatchPair' to support singletons, and adds several interface functions to allow interacting with PatchPairs while be agnostic of singleton vs. pair PatchPairs.
In non-trivial cases (i.e. in top-level equivalence analysis functions), providing singleton PatchPairs will result in a runtime error. Currently no singleton PatchPair values are produced anywhere, but once they are in use those functions will require proper implementations in order to handle singletons.
Resolves issue #342
Adds an additional constructor to 'PatchPair' to support singletons, and adds several interface functions to allow interacting with PatchPairs while be agnostic of singleton vs. pair PatchPairs.
In non-trivial cases (i.e. in top-level equivalence analysis functions), providing singleton PatchPairs will result in a runtime error. Currently no singleton PatchPair values are produced anywhere, but once they are in use those functions will require proper implementations in order to handle singletons.