fixed checksource on astree.cc