// checks Otherwise clause

layer ext12;

refines State_machine root {

  Otherwise_default { /* do something */ }

}
