Completed ik_propagate_labels, to be tested