Automatic model checking plots