Recently, I have used Intellij's nullness analysis system and it seems they can infer the annotations automatically. It would be good if we can have the inference system integrated with our extension.