will record def of each SSA var. Instruction of int<1> will always be put as a child (facilitate pattern matching)