migrated remaining chains of transd to EqReasoning