encoding of transitivity + role hierarchies is broken; tests modified to
show the problem