Added tree
Fix compilation errors
Flesh out analysis
Added step_back, cleanup
Added some tests
Added safety reporter
check_sat
Break out WP
WP skeleton
WP-goto
WP assume, assert, assign
Init tree
Added debugging messages
Fixed bug -- tree nodes should copy the cond exprt
Fix WP bug.  All test cases pass now!