removing Thresher-generated test--these shouldn't be committed
added support for "stale field refutations": when the symbolic execution passes the point where some object o is allocated, all constraints on o.f, o.g e.t.c can never be produced. also fixed a bug due to bad handling of aliasing