Interprocedurally Analyzing Linear Inequalities