Parameters gebruiken nu geen SArray meer

Dit omdat SBV van arrays geen counterexamples kan produceren.