Fix bug in slicing of assertions