Replace && by ; in .eqc_ci to make QuickCheck CI work