Conv_A(Unknown_B) -> Unknown_A.
[libfirm] / ir / ana / ANALYSING_ALGORITHMS