Check if sequences like (e1->not (e2) -> e2) can be handled
Check if sequences like (e1->not (e2) -> e2) can be handled