fixed return variable names in populator
rebase fixes
Merge pull request #57 from bdurkee/master

fixed return value variable names in procedures and facility operations
Binary search proving as much as possible.
Unbelievable.
Fixed some bugs to get VCs for sequence realization of preemptable queue.
Dissertation version 1.
Dissertation defense dry run.
Merge pull request #59 from hamptonsmith/furious

All changes through Hampton's defense.
syntax changes for pointer - work in progress
Merge branch 'pointer-first' of https://github.com/yushan87/RESOLVE into pointer-first