Add description about @Precondition and @When annotations.