CIF examples ToolDef scripts have bad indentation
For instance:
// Synthesize supervisor.
cifsupsynth("button_lamp_timer_plants_reqs.cif",
"-o generated_files/button_lamp_timer_sup.cif");
Note how the 3rd line is indented by one space too many. Like this has been there since the initial contribution. Before ESCET, we had cif3supsynth
and we dropped the version number of CIF. Hence, the 3
got removed, but the other lines were not updated to match.