This is a trivial example (in that the simple addition could have been there from the beginning) of where a broader graph could be attached by gsm.extend_with(...) and new state introduced in order to ...