Add JavaDoc for compose proof step.