Raise NotImplementedError if left/right_open is not S.true/false