Continued development on the fixpoint iteration algorithm, now in file src/solvers/fpiter.ml.
Files src/solvers/viamu* will become obsolete shortly.
There is still abug in the fixpoint iteration algorithm, probably in the strategy computation part.