join condition can be complex expressions instead of simple equi-join condition of fields.
See the example where t3.id is INT4 and t4.id INT8. In this case, t3.id and t4.id are different but compatible to each other. In this case, current planner handles the expression incorrectly.
Also, please see the following example. Currently, the following join condition does not work.