updated README
re-enabled complete isolation
more generic closure detection