added first tests for tree assertions

added tests for testing tree assertions regarding properties