Home | History | Annotate | Line # | Download | only in test_inputs
      1 {[y]: Exists ( alpha : 2alpha = y)}
      2