Simplified calls to assert()