Pact Compiler Bug: "Cannot subtract more cost then there is" (no fix, just a testcase)

I ran into this bug while trying to create a test case for another compiler bug!

I want to focus onto the t-labs usecases right now, so I open this as an unfixed bug.