renamed old IrgVrfy() into new IrgVerify()
[libfirm] / ir / ana / ANALYSING_ALGORITHMS