some dependency functions are not translated
dependency functions which do not have pre-/postconditions themselves are not translated
-> use the module dictionary to find those dependencies
Edited by Tammo Heilemann
dependency functions which do not have pre-/postconditions themselves are not translated
-> use the module dictionary to find those dependencies