verify pto_{load,store}
[libfirm] / ir / ana / ANALYSING_ALGORITHMS