mustn't return W_Call expressions