I THINK this is not CFL.because double comparison like( x>y AND x
> 2y) so that its CSL
64.3k questions
77.9k answers
244k comments
80.0k users