A value defined by an implicit_def can be liven to a use BB. This is unfortunate...