Test case for cobertura bug