getExpandedArgument
This make the predicate give back sensible results on (upgraded) databases where we do not have expanded arguments, and avoid having to write case distinctions in places where we would want to use `getExpandedArgument`.
getFileBySourceArchiveName
shouldPrintFunction
shouldPrintDeclaration