RedundantCode/UnreachableStatement.ql