Fixed PathExpr simplification