Taking advantage of a very simple property to efficiently infer NFAs