Modified default behavior of cplus2asp to NOT shift disjunctive clauses into the body of the rule.
Added additional command line options to set shift/none hack behavior.
Fixed a number of issues regarding 'unless' clauses.
Added additional static-semantic checking to ensure an sdFluent doesn't occur in the head of a dynamic law.
Extended syntax of 'causes' laws to allow for the existence of an 'unless' clause.
Fixed an issue in the grammar file that prevented using keywords 'none', 'true', and 'false' within a constant's parameters.
Fixed an issue causing undeclared identifiers in the head of a rule to be improperly reported.
Fixed an issue where double equals '==' was being treated like a logical operand, instead of an arithmetic one.
Fixed an issue preventing include paths local to the cwd from being properly resolved.