We use getbyid === undefined because switch to in is a 10% regression on the stanford-crypto tests. We should notice in the DFG that an in on an id is a constant and fold it.