Remove check for non-local label in the Clb constriant