sig module Make : ModelChecker.S end