Modifies the payload of an axiom while keeping its `file()` annotation pointing to the original problem.
Verifiers must structurally compare imported axioms against the parsed problem and not just trust the annotation.
