Exception
&& (Exception(cond) || Dbl_isone_signaling(leftp1)))
&& (Exception(cond) || Dbl_isone_signaling(rightp1))) )
&& (Exception(cond) || Sgl_isone_signaling(left)))
&& (Exception(cond) || Sgl_isone_signaling(right)) ) )