Updated documentation in the AssertionGenerator interface.