// use facts in CL
static void useStatements_cl(L<S> statements) {
  useFacts_cl(statements);
}

static void useStatements_cl(S statements) {
  useFacts_cl(statements);
}