First version with equalities reduction

- equalities reduction implemented without choice of variables
- specification is now separated into GenocopSpecification and InternalSpec