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...