Yes, this only creates SPECIAL of ANY, not SPECIAL of expanded. I'm surprised that no precondition is violated. Does the code works without precondition violation?