#182 ordered assertions fail for derived interfaces

Fixes #182.