Tallulah, a Tool to Support the Axiomatic Approach to Causal-Consistent Reversibility. - William Arnone; Ivan Lanese (RC, 2025)