Step 2: Rewrite citerefentry in layer-2.dsl