properties checked, error case trace examined