UninitVar: fixed false negatives for function calls