/tests/pending/run/macro-term-declared-in-refinement/