Make feasible tree explicit