Bugfix: add trait dependencies
Bugfix: add trait dependencies

This fixes a bug introduced in 'propverify: improve compatibility (Debug)'.
It looks as if I did not run scripts/regression-test before pushing the change.

project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools