Fix for issue832
	The  rewrite rule was previously assuming that the first argument to the function is the one that we are searching the index on. This is not nessassarily the case
	I changed it to search for the appropriate argument

Change-Id: I68ab853cc74e930605a9a7037be1036f052236b8
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/195
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Young-Seok Kim <kisskys@gmail.com>
2 files changed