Doesn't this mean we need to bump the lower bound here? Does this code compile with heist 0.7 or 0.11?