Revert "removed rodin dependency"

This reverts commit 2e54f6d076f1d990a712c6e20e5cd675e6b2863d.