Finds quasi-cliques in graphs via propinquity in syntax trees