Some proof debugging now only if -dp used
Some proof debugging now only if -dp used

nemerle/boomerang,xujun10110/boomerang,xujun10110/boomerang,xujun10110/boomerang,TambourineReindeer/boomerang,nemerle/boomerang,xujun10110/boomerang,TambourineReindeer/boomerang,TambourineReindeer/boomerang,TambourineReindeer/boomerang,nemerle/boomerang,TambourineReindeer/boomerang,nemerle/boomerang,xujun10110/boomerang,TambourineReindeer/boomerang,TambourineReindeer/boomerang,xujun10110/boomerang,nemerle/boomerang,nemerle/boomerang,TambourineReindeer/boomerang,xujun10110/boomerang,nemerle/boomerang,xujun10110/boomerang,nemerle/boomerang