First scratch on a Unique-id-based cut-elimination