Merge remote-tracking branch 'origin/newpog' into sdf
Merge remote-tracking branch 'origin/vb' into sdf
Theorem prover now capable of detecting a theorem failed to parse
Merge remote-tracking branch 'origin/newpog' into sdf
Added new code to deal with failing POs and to deal with process locality
Update locale test to test POs and not model nodes.
Add locale extract test for global defition.