It's an interesting functionality.
However, I don't plan to realize it due to the reasons below:
PackCC is designed to see just syntax, not semantics.
That is, PackCC recognizes all inputs as a structure of strings, and doesn't care their meanings (like numeric values).
The semantics should be cared in the next phase after PackCC's processing.
Would it be possible to allow C predicates to participate in matching?
For example: