Transform STA models that are actually MA into real MA models with rates

This should be doable with a symbolic transformation (i.e. on the level of the automata network).