- corrected causality bug (cf. previous commit)

src/causality.ml

src/clock_calculus.ml

src/clocks.ml

src/machine_code.ml

src/normalization.ml

src/printers.ml

src/scheduling.ml

src/typing.ml