avoiding insertions of multiple ifdeftoif_labels