[Feat] Maintening consistancy accross the causal chain

[hexapode]

For simplification we write a causal chain with OR

A.property: E.A || E.B <-- B.property: E.A || E.B

This is often do assuming that the chain maintain consistency in the OR property.

We need to allow disambiguition here in a clear way.

[hexapode]

We should use name properties (suggestion form @wohanley )