trial implementation for pushdown widening