pub fn is_not_entry_action<'a>() -> impl Fact<'a, Action>