add explicit test of name-resolution in predicates