add: key instructions (if1 and if2) tree