Added documentation to extra-asserts