BO.BiabductionProp
val exp_normalize_noabs : IR.Tenv.t -> IR.Exp.t -> IR.Exp.t
Normalize the expression without abstracting complex subexpressions