Solving reaching definitions equations