Given a semijoin dependency, also install rules to check for compatible seals.