More verbose debugging output.
Fixed bugs with initializing vars with one-sided bounds.