Remove the usage of infix, overloaded syntax in why3 output

Remove the usage of infix, overloaded syntax in why3 output #3111