Add more tests See merge request !5
[TASK2] use max cardinality from eq class See merge request !4
integrate google test with gitlab See merge request !3
Fix eq classes See merge request !2
Fix redundant clause issue See merge request !1
