Fixed typo in tables.c
In tst_aux.h fixed so that tables created by call subsumption allow
attributed variable constraints in their answers (including in delay
elements). Calls in call subsumption still cannot include attributed
variables -- I need to understand more about Bao's algorithm before
I'll be ready to add them there. But having them in answers takes us
at least part of the way.
