logic2cnf syntax except tupel encoding implemented