Add test case for builder.
Revise test case messages.
Revise test case message for LaTeX formatter.
Revise test case message for body generator.
Revise test case message for reader.