Maybe it's better to change the name for this method, current is not correct. 
About the trees:
attributed - typechecked trees with initialized symbol and type
In this method I need to detect trees that are typechecked or were typechecked (trees can be untypechecked, their attributes can be reseted but their structure remains very similar to typechecked trees).