Sorry, one more random thought, we should put a comment here explaining that non-determinism should be impossible for MP fragments and that this "procedure name" is really a signal that something has gone horribly horribly wrong.