Methods for printing property based conjectures (see #4)
Include header for printing of property based conjectures (see #4)
Added some variables and macros to help the introduce property-based conjecturing (see #4)
Added command-line option parsing for property based conjecturing (see #4)
Added method to initiate the printing of property based conjectures (see #4)
Added method to print the expression stack for property based conjectures (see #4)
The ouput method for expression now dispatches based on the value of the propertyBased flag as well. (see #4)
Added methods for the evaluation of property based conjectures. (see #4)
Added method for the evaluation of the expression tree for all objects. (see #4)
Added function declarations for some of the property based methods (see #4)
First version of Dalmatian heuristic for property based conjectures. (see #4)

At the moment we remove no conjectures from the list. So once a conjecture is accepted, it will be one of the final conjectures.
Property based version of method that handles an expression. (see #4)
Property based version of method that checks an expression. (see #4)
Method that handles a labeled tree now dispatches based on the value of propertyBased. (see #4)
Corrected error in operators.
Nothing special about the post-processing method for the dalmatian heuristic in case of property based conjectures. (see #4)
Removed declaration of none-existing method.
Method to read property based invariant values. (see #4)
Method to print property based invariant values. (see #4)
Dispatch reading of invariant values based on the value of propertyBased. (see #4)