Enable refinement by infix operators in prover

Fixes #873.
Merge pull request #915 from david-christiansen/issue/873

Enable refinement by infix operators in prover