Implement symbolic PUSH, SR, register/stack dumping; concret-ify regs/mem when possible
Implement symbolic SWPB