HomeIsabelle/Phabricator

opaque export does not work as expected in presence of dependent instances