added deputy "inference", which inserts extra base/end fields for unannotated local variables.
added deputy "inference", which inserts extra base/end fields for
unannotated local variables.

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