Pretty printing is confusing.

[jgroote]

Pretty printing of a term (1-p)q of type Real yields 1-pq.
This is undesired.

Concretely, the input in an mcrl2 file

 probability(fine |> l)=(1-p)*probabilty(l);

yielded the error

Unknown operation p.
Error occurred while typechecking 1 - p * probabilty(l)

This error occurred when modeling a loom.