autocompletion on variables and predicates