remove assert_greater_equal from untried import