Merge remote-tracking branch 'origin/ncb/development' into newpog
Update the old string pog test inputs and results.
Move POType and Status around to support old string based tests.
Added test classes for old string based tests.
Merge remote-tracking branch 'origin/development' into newpog
Fixed whitespace cleaner (I hope).
Fixed error with construction of maplet set.
Corrected stored lexlocation.
Fixed type of map bind in finite map POs.
Need a better name for distinguishing the test runs. Also added yet another clone.
Changed NonZero location to the divide operator.
Remove static keyword from getProofObligations method.
Fix errors
Fix POStatus import since it moved. Also corrected always matches flag.
Cannot assign to parameters, duh!
Merge remote-tracking branch 'origin/assistant-rewrite' into newpog
Remove PO type parameter that I added by accident.
Passing assistant factory in parameter for benefit of symphony.
Merge remote-tracking branch 'origin/newpog' into assistant-rewrite