式じゃない場合、and式は内部的に if a = b then に変換されてる
a=2 b=2なら通る
andが無い場合は a=aに変換されてる