Configure deprecation for equational-reasoning