Create test_astree.cpp