Superblock-basierte High-level Wcet-optimierungen pocketEngelska, 2009