Optimizing elim-m-opt to avoi non feasible: WIP buggy not working