private void push(@NotNull DfaValue value, @NotNull PsiExpression expression) {
    addInstruction(new JvmPushInstruction(value, new JavaExpressionAnchor(expression)));
  }
private void push(@NotNull DfaValue value, @NotNull PsiExpression expression)