Added a widening function. Doesn't work yet
Added a widening function. Doesn't work yet