On the system CL12 of computability logic (Logical Methods in Computer Science, 2015)