Symbol: of_prop_val_eq