we no longer need amici_coverage
we no longer need amici_coverage

FFroehlich/AMICI,AMICI-developer/AMICI,FFroehlich/AMICI,AMICI-developer/AMICI,AMICI-developer/AMICI,FFroehlich/AMICI,FFroehlich/AMICI,AMICI-developer/AMICI