Disable cumulativity.

2 jobs for !368 with fixpoint-tele_arg in 2 minutes and 13 seconds (queued for 4 seconds)
merge request