static int ai_removeTriplesInMemory(Collection l) { if (empty(l)) ret 0; ai_markMemoryDirty(); tripleIndex().removeTriples(l); ret l(l); }