use double quotes in example
use double quotes in example

that this escaped to become input to jtlv that could synthesize a machine that doesn't satisfy the initial condition (caught in synth.strategy2mealy) motivated introducing variable type checks in e8072ad45557dd2776e54c1d33a4a8832038053c.
necozay/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,necozay/tulip-control,necozay/tulip-control,tulip-control/tulip-control,necozay/tulip-control,necozay/tulip-control