InFine|FinaleInterpreter: Cleanup