@donc How do you think about this change? If the `goal` is not `ctfeNeedLvalue` nor `ctfeNeedLvalueRef`, we can directly ask `result->interpret(istate, goal)`. And, if rvalue is required, we should always simplify the `result`, if I'm not mistaken.