alevy/lio — comment on commit cc016354723937357c2c8dbfe68e1e4af384c8d3
File: LIO/TCB.hs line 626
By deian:

Why did you change to using lbot? I think we want this one instead (lbot can always be passed in). Also worth adding in taintLabeledP