BugFix: The splitting of the proof was not functionning for AEFD files