add test for feasible-and-fruitful