Changed CSPOM version to 2.3.1
BC fixPoint rewritten in iterative mode