Add CML version of invariant extractor.
Add PO name to detail view as a comment.
Import cml examples.
Merge remote-tracking branch 'origin/development' into newpog
Merge remote-tracking branch 'origin/sdf' into newpog
Update test results for invariant and state scoping changes.
Add test for all examples.
Commented out line of Seive example that did not parse.
Merge commit 'aafaee38bfad63a0cd8a6ccf79733bd547d949b0' into development