ASSERT parameter assumptions