path condition saving