value() predicate renamed to satisfies()

svn path=/sandbox-branches/; revision=83224