added a simple do-nothing satproc that I plan to extend to do match-based instantiation of universally-quantified assumptions
added a simple do-nothing satproc that I plan to extend to do match-based
instantiation of universally-quantified assumptions

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c