add invariant that checks that at least one parent implements IQuery
add invariant that checks that at least one parent implements IQuery

same as Om d3a0a16e954a7619e93bc7490b588cbfe122baaf

ladderlife/cellophane,ladderlife/cellophane