path: root/test-suite/output/Inductive.out

The command has indeed failed with message:
Last occurrence of "list'" must have "A" as 1st argument in
 "A -> list' A -> list' (A * A)%type".