search for tag MIG_HERE and LIXO compilation. Compiling and executing but cannot undef some macros, thus it is still only available for subgoal_tries. fixing for the  answer_trie...