fixing more issues with handling role hierarchies when
processing/reverting negative propagations and forward links, and also
checking then a propagated conclusion is still relevant for the target
context.