Working inter proc. analysis (recursive case) for numerical domains.