That looks like it would work for now for the arduino.cc platforms, but I'm not sure if that will always work across other platforms from 3rd party core developers.
i.e. it is possible that a platform may add CHANGE pin support without fully implementing the ArduinoAPI stuff.
So over time, it may start to get trick/ugly to detect it across platforms.
--- bill