Make print_astTermination build