add a TODO item for reduction ambiguity resolution