We can not use the same code in Phase 2.
For now, define SPECIALIZERP to always return true.