Corrections to logpro for all_toplevel. Added target for running all_toplevel (test3b)