Refactorings + test case for computational behaviour of eliminator #4

Closed jespercockx closed 2 years ago