That's fair.
For curiosity, I watched the start of the 2016 Frozen Four semi-final vs. Denver (Our first Frozen Four playing of the post-Hakstol era), trying to pay close attention to any mention of what line is playing, short shifts, double shifts, etc.
19:45 "Big line of North Dakota out there to start" - Referring to the CBS line. Denver started their third line.
19:37 "Quick line change for Brad Berry" - basically a stop in play at 19:42 and already a line change (18 second shift). Went to the "heavy" line against Denver's Pac-Rim line.
18:53 "The big line is right back out there for North Dakota" - there was not a third line played before bringing CBS line back.
17:49 "The fourth line out there" - I think he's referring to Denver, but I think UND's fourth line was also out there. On the ice were Chyzyk, Janatuinen, Shaw, Sanderson, Thompson.
17:18 line change was completed after a zone clear. On ice for UND now are Olson, Gersich, Ausmus, Stecher, Simonson. At 17:00, they were called the "grinding fourth line," so maybe the Chyzyk line was considered third line.
16:43 "Heavy line..." - against the Pac-Rim line again.
16:25 CBS line is out after a puck went out of play.
15:30 Line change is complete after an earlier partial change - now out: Chyzyk, Ausmus, Stecher, Sanderson, Janatuinen.
15:15 Stop in play, and another new line out: Johnson, Poganski, Gardner, Poolman, LaDue.
14:40 Deep zone dump and a line change: Simonson, Gersich, Olson, Thompson, Shaw.
14:05 Begin partial change.
13:43 (after change to CBS line is complete) "Playing that line a lot. Seems like their double shifting."
So, it seems that Berry was very deliberate about short shifts and getting his top line out often. I feel Hakstol would have just rolled lines