a better but still not working version. correctly proves assert false in simple loop
a better but still not working version. correctly proves assert false in simple loop

zkincaid/duet,zkincaid/duet,zkincaid/duet