Fix parse_prop_formula