An image showing that weak bisimulation is not a congruence relation.
Added the counterexample that shows that weak bisimulation is not a congruence relation and rearranged the lts graphs.