localizingBCR/traceback54: attempting to prove 5.4 in StMod