change semantic representation of cash-flows

The semantic representation of cash-flows is "anti-symmetric" in the
sense that at any time t for which C[|c|]rho (t) is defined, the
semantics must satisfy that

C[|c|]rho (t) (p1,p2,c) = C[|c|]rho (t) (p2,p1,c)