Improving Cost-Optimal Domain-Independent Symbolic Planning