CFGs yet to fix- ParamNotInit, ReturnTypeNotMatch, IfRetVal, invalid_return_type