Method ensureRelevantStmts

src/main/java/pascal/taie/ir/exp/Var.java:215–219

Ensure #relevantStmts points to an instance other than RelevantStmts#EMPTY.

()

     * {@link RelevantStmts#EMPTY}.
     */
    private void ensureRelevantStmts() {
        if (relevantStmts == RelevantStmts.EMPTY) {
            relevantStmts = new RelevantStmts();
        }
    }

    @Serial
    private void writeObject(ObjectOutputStream s) throws IOException {