Adding label verification before compilation