sig val testgen : string val oracle : string val implem : string end