Separate har and sab interfaces, plus bugfix

Fix: pass face index to sab to prevent possibly exiting the polytope,
and remember this state in the re-entrant version