add reverse index from facts to proof tree + fix case when push_sorted_elems is not sorted because of additionnal scanners + solve multiple output case of scanner elements