progression: implement verification
Issue #585
new
implement finite domain verification and (maybe) symbolic verification using the tranformations in the progression inference.