rewrire make-synthetic-identifier