indentation

Change-Id: I7bb92e0479328007d480f5a0ae51d910d40d7424
indexpipes are needed for debugging or tagging

Change-Id: I56be40d70023ab8ad787bb15e8d4b197f0d4c432
eliminate mkSynthesizeablePortalTop

Change-Id: I428ec0d4493320d8bdf2aa024650d18afbc9539e