More formula reductions
Tests for FR algorithm
Export PrefixSpecies
Reconcile Species in formulae
Reconcile species in formula before model checking
Update docs