Commit CTLModelChecker