CHECK: Lines should not end with a '('