/* clauses.h */

bool enclosed_clause(int*);
bool loop(int*);