{-  This test verifies that an implementation correctly handles chained
    `with` expressions
-}
{ a = 1 } with b = 2 with c = 3