proper states for FindSingleInstruction
proper states for FindMuliInstruction
fixed a bug where an instruction unrolled more than once
handle join conditions properly in ctree keys