Fixed bug in computation of max_eliminations and add a example based on synthetic ideal generation