void check_ibuf_clause(Topform c);
Topform get_clause_from_ibuf(Ibuffer ibuf);
void put_clause_to_ibuf(Ibuffer ibuf, Topform c);