verify that the predicate can receive any in future PRs _Originally posted by @joaobispo in https://github.com/specs-feup/lara-framework/pull/41#discussion_r1402507983_