- fixed test case
- moved fairness_assumption_t to Core/Dimensions.h
- tidied and documented classes in src/Parser