So he wants to replace something informative like restrict by this expression "(* p=* p) & (* q=* q);"?!

Yuck, I would fire the developer with such clever tricks in our code base.