freeze heuristics, slight change to tree gen

• a freeze heuristic that prioritise freezing less frequently used nodes
• in tree generation, always put instructions that yield int<1> as child
• use P<TreeNode instead of Box<TreeNode> for block body
• def-use pass records definitions of each SSA variables (not used for now)