Fix issue 786, issue 601, the prefix search issue reported by Abdullah,
and the workaround query for issue 785.

Change-Id: I8bc4f18cd34c3d581f99f1509a4531c093aeec31
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/145
Reviewed-by: abdullah alamoudi <bamousaa@gmail.com>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
23 files changed