Added Release formula and Negation Normal Form
Added missign cases to nnf
Added some missing cases for Release
Removed nnf from interface
Formula rewriting model checker.
Tests fo formula rewriting checker
More formula reductions
Tests for FR algorithm
Export PrefixSpecies
Reconcile Species in formulae
Reconcile species in formula before model checking
Update docs
Improved Makefile
Fixed for checking immediate properties