Enable outer forall vertices stmts.
Merge branch 'overhaul' of darwin:scout into overhaul