Hello, i'm trying to analyze a basic block (without using the symbolic execution), so i'm enumerating instructions and using the taint engine on them.. however it does not seem to work if i don't build the semantics first, and functions like taintAssignment/taintUnion to spread a taint should work without building the semantics.