Just b/c they are restricted and not being traded does not mean they are not dilutive. If you have to divide the market cap by them to arrive at the current PPS (same exact thing as using them to multiply by the PPS to arrive at the market cap), then they are dilutive.