n-ary disjointness implementation
fixing a bug with role hierarchies: negative propagations created
for propagated existentials have a super-role as the propagation
relation, not the link role over which the propagation has been made
originally. Thus need to either retain the original propagation relation
or do another intersection when processing negative propagations
(implemented the latter for now). New test added.