Fixed an issue preventing formulas with rigid constants from being recognized.
Fixed an issue prevent the proper translation of rules containing 'exogenous p', 'rigid p', or 'inertial p' from being properly translated.
Added the '--shift' flag to the solver by default to handle disjunctive rules generated by F2LP.
Added the '--no-shift' option to override this default.
Extended the shorthand 'c=v.' rule's syntax to allow for arbitrary clauses (i.e. 'c=v where F', or 'c=v if F').
Added test files to version control.