Initial support for Keil decomposition (not working yet... goes into infinite loop)