Agreed, you can see it as operating on a compressed version of the original domain. Your symbolic reasoning may not be faster but your symbols change, through your own dictionary optimization.