Check interface binary expressions.
Check non-const binary expressions.
Check non-const binary expressions test gen.