compute_common_aff
return compute_common_aff(val);
aff = compute_common_aff(val);
if (aff != compute_common_aff(val))