Generation of abstract binding trees