100644 blob eafea9aac241ca7d66af795800faff66fc13580b	assign.cc
100644 blob 386c8de790ab4f642120129ffc94a35a8584ea05	call.cc
100644 blob 33f30099c54e8cea26085bdb9742606b3f529ac5	cons.cc
100644 blob a426ac64cd531cd545240a37c8d63f2cb7cdae44	cons_neg.cc
100644 blob 8c6d6b66a8b8b974f29e6518d283cc8b1bf267a8	conv.cc
100644 blob a295bc2ce31d319618745249650c383fca72e9b4	cw_cons_neg.cc
100644 blob 4a7b102c788991f390b099dce7540982338531ee	dangling.cc
100644 blob 4e99f82a50cc6970ef8488c2b2b11ba2b10c4eb8	dangling_neg.cc
100644 blob 63c3f6ea7e3c5d026dc771720ac0c4013e0b4a0b	deduction.cc
100644 blob c8db1eee42cf39f2cd07120d8394f29b2b6b1a09	incomplete_neg.cc
100644 blob d55f4facbda1334cfcdb0128a08026baedb3852e	mutation.cc