Remove overassert