Transformations are created with proved=true if they dont have any
children. So, they were never updated in update_trans_node. This commit
is a modification to update them.