PROBCORE-470 Wrote Javadoc for new model checking classes.