cut away choice points which are not needed

by_symbol predicate family should be semidet now for a grounded Name