Proper main launch. Seems to introduce a bug with proba notation, reproduce with 10*1q10+1q10, checking on it...