FIXED: Implement assign_id_label for stack dst.
TODO: retrieve id_label for stack src.