layer two;

refines State_machine x implements y { }
