conditions factorization: new file mpp_conditions.ml
modified: Makefile; new file: mpp_conditions.ml