Added entry for Eclipse .projectSettings file
Fixed issue with WrongCmd exceptions being thrown - because axioms now include a call to the sep. log entailment prover, if the entialment proof search fails, the tactic also fails and so the while prover then moves on to try symbolic execution tactics. Fixed the issue by explicitly checking that the command is not empty in the mk_symex function, and returning an empty list of subgoals if it is. Also added a postcondition for the cyclic list reversal test.