/*
a_bin_tree_forall(a, f) : return 1 if all the nodes of the binary tree a satisfy the predicate f.
a_bin_tree_forall(NULL,f) returns 1.
*/
int a_bin_tree_forall(a_bin_tree * a, int (*f) (int));