modelchecking package renamed into modelchecker