Reword section on explicit-state model checking
Changed "optimizations" to "parameterisation"
Program length parameter
Constants parameter
First changes to word width parameter