icse15: Nope, another checkpoint for umllet model