A version of the PraSem project that works with use_remote_module/2