Add Simple Clause for comparing
Segment Automat