ExtractValue works for return values of i32 but not for i1