Lifted Logic Post combine