Statecharts to Verilog -- Reverse Observation Equivalence Between Labelled State