Debugging interprocedural analysis; support for constants