fix replCorrectTheory for change to bytecode printing