Add package for the model checker cubicle