Tried out the priority-based future sampling, but the programs are non-terminating and I don't think it's worth my time to debug it right now.