adjust commit 99ff0adbfda87791a99914b69caa0decef79cd04 to
be more friendly to the test suites
make check-metafunction and check-reduction-relation
pay attention to the contract/#:domain spec

closes PR 13616