Use correct ASSERT3* variant