localizingBCR/4.5: more pretty, started verifying
localizingBCR/tracebackB1.2: started checking benson 1.2 for StMod