Add lexf problem