try tp deduplicate PCs
use a ranged for loop; sorting the vector didn't seem like an improvement
unless I'm missing something...
support for parsing and printing split queries
add option to echo the checked replacement
Merge pull request #72 from regehr/split

support for parsing and printing split queries
Merge pull request #73 from regehr/souper-check-print

add option to echo the checked replacement
Merge pull request #71 from regehr/pc-dedup

deduplicate PCs
Fix build
Merge remote-tracking branch 'upstream/master' into extract-insert
saddo implementation