through export and import we loose the connection between impl-funs and their wrappers. Therefore, we nee to check whether this connection indeed exists before blindly sprecialising. This may lead to fewer specialisations than what we would like but at least it avoids SEGFAULTS when using modules that have been compiled with -check c