add tests to ensure counter examples in buggy versions of stlc-sub aren't
counter examples in stlc-sub-base.rkt