verifying of Atrees