Change the path condition to represent the path taken and fix a bug in the constraint solver