Added methods and classes for path backtracing.
Fixed bug in pruning.
Modified printing methods in utils.