script.kps 240 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
// Please select one of the following scripts.
//

script main() {}


script cpauto () {
    auto;
}

script cpwob () {
    impRight;
    impRight;
    notLeft;
    notRight;
    replace_known_left occ='2';
    concrete_impl_1;
    close;
}