invariant checking enabled again
test contain description in its name