Lib.Paths
Paths Kind 2 can write some files. Factored to avoid clashes.
val testgen : string
Test generation files path.
Test generation oracle path.
val oracle : string
Rust generation path.
val implem : string