More work on arm-thumb-capstone + esil