Title: Interpreter Composition Issues in the Formal Verification of a Processor-Memory Module