Make PSEModelChecker final.