checks whether tree satisfies children sum prop