remove debugging output
fixed prove tree manipulation