NPE in Symbolic Execution engine when dealing with java 14 switch expressions without default

public class A {
  int foo(MyEnum s) {
    return switch (s) {
      case SOME_TYPE -> 123;
      case ANOTHER_TYPE -> 456;
    };
  }

  public enum MyEnum {
    SOME_TYPE,
    ANOTHER_TYPE;
  }
}

java.lang.NullPointerException
	at java.base/java.util.Objects.requireNonNull(Objects.java:221)
	at org.sonar.java.collections.AVLTree.get(AVLTree.java:76)
	at org.sonar.java.se.ProgramState.removeConstraintsOnDomain(ProgramState.java:320)
	at org.sonar.java.se.checks.StreamConsumedCheck.checkPostStatement(StreamConsumedCheck.java:212)
	at org.sonar.java.se.CheckerDispatcher.executePost(CheckerDispatcher.java:106)