{"name": "has_ic", "code": "_BOOL8 has_ic ( ) { bool @@v0@@ ; bool @@v2@@ ; @@v2@@ = Number ; if ( cur_term ) { @@v0@@ = ( * ( ( _QWORD * ) cur_term -> type . Strings + Number ) || * ( ( _QWORD * ) cur_term -> type . Strings + Number ) || * ( ( _QWORD * ) cur_term -> type . Strings + Number ) && * ( ( _QWORD * ) cur_term -> type . Strings + Number ) ) && ( * ( ( _QWORD * ) cur_term -> type . Strings + Number ) || * ( ( _QWORD * ) cur_term -> type . Strings + Number ) ) ; @@v2@@ = @@v0@@ ; } return @@v2@@ ; }", "source": [{"n": "v0", "t": {"T": 1, "n": "bool", "s": 1}, "location": "r8"}, {"n": "v2", "t": {"T": 1, "n": "bool", "s": 1}, "location": "s1"}]}