Add experimental param to model-check