Declarations/ArgumentsRedefined.ql