CHECK: braces {} should be used on all arms of this statement