extend IEEE example with transsitive check
extend IEEE example with transsitive check

active-expressions/reactive-object-queries,active-expressions/reactive-object-queries,active-expressions/reactive-object-queries