fix bugs in modifies/uses