Add shift operators for native symbolic execution