tested also the proper epsilon dominance with an epsilon > 0