Naive detecting more then one command execution
CFG-based analysis and counting command executions
Store highest command execution count in annotation
First test that verifies command execution count on path
Some tweaks to work with real project
Slighlty better