Add GreedyForbiddenInsert