fix some problems with pow_abs and asump