1. fix issue with sob
2. cosmetic changes
3. fix psw_V_ changing in inc/dec(b)