in src/c_interface.cpp [147:152]
std::string get_op_string(bool a_t, bool b_t) { if (!a_t && !b_t) return "NN"; else if (a_t && !b_t) return "TN"; else if (!a_t && b_t) return "NT"; else return "TT"; }