Convert provn on-the-fly for testing