- change schubi debugging - add some comments to internal create_decisions_obsoletesmap()   function.   should really make it static, as all uses in applayer code are   broken. I hope nobody uses the applayer.
- change schubi debugging
- add some comments to internal create_decisions_obsoletesmap()
  function.
  should really make it static, as all uses in applayer code are
  broken. I hope nobody uses the applayer.


ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver