two separated traversals work, but the inward traversal is directly operating on domain specific computational states. Need to correct this and make them as in the case for outward sweep. The states should only be updated within operations which are called at particular traversal points