Add direct clause conversion
Fix lit conversion