Compiler: rewrite Phisimpl.repr