Add static analysis and generalized instructions