Migrating foreign tests to prolog utests, and placing/adding it to the right place