Dialyzer r17c0 fixes

Two small changes to the code of Dialyzer in order to shut off two warnings that were introduced by recent code improvements and extension to properly handle opaque types.