Add a test that shows programs that fail with mono-binds