Again changed the printing of single property based operators in preparation of #6.
Use symbolic logic for property based conjectures (fixes #6 and #4)