PathJoins.java

import org.checkerframework.checker.nullness.qual.*;

public class PathJoins {

    public void testJoiningMultipleBranches() {
        Object intersect = null;
        if (false) {
            return;
        } else if (intersect == null) {
            return;
        } else {
            intersect = "m";
        }

        intersect.toString();
    }
}