Lift requirement on parameter of function for interprocedural analysis