standardised param names in automatalib, tested changing instruction set