analyses polymorphic calls if callee info is available
[libfirm] / ir / ana / ANALYSING_ALGORITHMS