Guess candidates for term abduction of the form x=y (equations over variables).