WIP: restrict to included stmts. Works without the deadlock-detector
Quit trying to improve a good result
Only pass through stmts for groundset
Towards a real scan of ghi files