bambi comments on Underconstrained Abstractions