definition module tree2

f2 :: Dynamic -> Int