changes the syntax for cores named with :> # %corename to |% %core-name for the dprint and dprint testing library