<https://www.cda.cit.tum.de/files/eda/2023_aspdac_reversible_computing_for_verification.pdf> Slack C...