use .pc files when constructing large CFG
propagate CIgnore types better (prevent error output)
fix error reporting of incorrect function signatures (without types)

was assert before introduced with the assumption that
functions without typed paramters can only occur with old-style parameters