Thought the trees are typed, they are reconstructed as untyped ones.
unapply returned args with type[List[untpd.Tree]], but as all tree was typechecked I know that it's actually typed.