if the proof status of a theorem as guard is exported for prob, we also export the event name as a source