replace arg actions_must to synth.synthesize with ts attributes

FTS.actions_must,
OpenFTS.env_actions_must, Open_FTS.sys_actions_must
shorter lines
update env action names in fuel tanks example