Factor interference

Merged Pierre Roux requested to merge proux1/rt-proofs:factor_interference into master

While working on IPA, I stumbled on those definitions of interference with some repetition. There is probably still room for improvements but since this compiles and brings some factoring, I guess it is worth a merge request.

Merge request reports