Ran some successful experiments for one-level (ex neg ex) or (neg ex) construction and verification. Simplified backtrack information and Myconstruction.reconstruct.