dialyzer: fixes in DialyzerMarkerUtils