_has_semafor -> lImaSemafor