Automatic simplification in FORMAC | Synapse