added a new recursive loop to complete get_missing_taxonomy_stmts methode AND tests

the new loop make reasonement able to care : <<if (A = B) and (C in B) so (C in A)>> that wasn't taken into account in my last commit