Added joern-slice.