Convert location expressions for CIF to Supremica
Since version 2.5, Supremica supports location expressions, see http://supremica.org/version-history/. The syntax is autName == locName
. We should probably enable/disable generating these via a transformation option. Supremica supports these expressions only when Normalising Compiler and Automaton Variables Compiler are enabled.
I consider this a low priority.