Add support of TNTC to llvm backend