+ Pure and NotNull annotations for extension methods