let what, where = List.nth tl 5, List.nth tl 3 in
let rps, predicate = [List.nth tl 4], List.nth tl 2 in
let e = Cn.mk_pattern rps predicate in
let what, where = List.nth tl 5, List.nth tl 3 in
let rps, predicate = [List.nth tl 4], List.nth tl 2 in
let e = Cn.mk_pattern rps predicate in