Documentation for coverage usage in end condition