Formula rewriting model checker.
Tests fo formula rewriting checker