Update repository with latest advances. Debugging gen_oniom