Comparison of path-complete Lyapunov functions via template-dependent lifts. (November 2022)