fix errors in underapprox-tcrsig94 example