Function declared but not called and defined
Merge pull request #89 from jubitaneja/extra-function

Function declared but not called and defined
temp checkin
temp commit
fixed some problem and added some notes
more notes
harvesting part is almost done
looks like harvesting part works now
tmp work
fixed a problem when print insts
refined the strategy of harvesting BlockPCs
temp check-in
Seems encoding contraints works now...