(PUP-2357) Validate non-productive expressions