add double indexing to singlog logic clauses