- [x] Implement predicate - [ ] Run and test - [x] Add dynamic ID to retrieve - [ ] Run and test - [ ] Add special support for jmp,load,store - [ ] Run and test - [x] Add Datadriven Entry - [ ] Run and test