Fixed a few checks. ADDED checks for RKE subsets, i.e. whether an RKE is a subset of another RKE. This happens when we remove pairs from an RKE or when we take a subgraph based on pair type, etc