SymmRefiner improvements

* Set a few more properties in the refined AFP
* Superficial changes to main method