update mode names in logic spec of fuel tanks
update mode names in logic spec of fuel tanks

to the mode names that are automatically generated by abstract.discretize_switched.
This is until some better options for specifying mode labels separately from mode tuples are implemented.

tulip-control/tulip-control,necozay/tulip-control,necozay/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,necozay/tulip-control,necozay/tulip-control,necozay/tulip-control,tulip-control/tulip-control