removing the rst from sensitivity list silently breaks the dff...