Copied over tests and some changes from `dev/test.contradictions`
Removing notion of parent context
Completed logic for loop sharing tokens
Removed unnecessary sets
Added dev note for later
Fixed broken contradiction
Moving on to one more test case
Fixed up contradiction test for variables
Added complementary tests for reused variables
Added latest test cases to README
Release 0.7.0