I think that the ID* algorithm is working correctly, but it is hard to say for sure, because some of the counterfactual variables in the test code contains an asterisk in them. I thought we decided to switch to representing counterfactual variables as subscripts instead of an asterisk.