Checking LibA (Issue5245/LibA.agda).
Checking LibB (Issue5245/b/LibB.agda).
Checking LibC (Issue5245/c/LibC.agda).
Checking LibA (Issue5245/LibA.agda).
Checking LibB (Issue5245/b/LibB.agda).
Checking LibC (Issue5245/c/LibC.agda).
