Nesting OneOf in effect is not accepted by the parser

[francescofuggitti]

Is your feature request related to a problem? Please describe.
The tool is not able to parse domains in which an action has as effect an And formula with a nested OneOf formula inside.
For example, the effect of the move-car action in the Triangle-tireworld domain

  (:action move-car
    :parameters (?from - location ?to - location)
    :precondition (and (vehicleat ?from) (road ?from ?to) (notflattire))
    :effect (and 
		 (oneof (and (vehicleat ?to) (not (vehicleat ?from)))
		        (and (vehicleat ?to) (not (vehicleat ?from)) (not (notflattire)))
                 )
            ) 
  )

has this problem. It would be nice to get the parser to accept also this kind of cases.