Representation of notconstains and to_int/from_int in Formula

[vhavlena]

Add options to represent predicates of the form notcontains(x,y) and k = to_int(x), x = from_int(k) inside the class Formula. Modify FormulaPreprocessor to handle these predicates (and hence get rid of parameters representing variables from the conversion arguments).