Files
contract/test/constructor/decl_exit_inv_none.cpp