local predicates to use tuples with more general signatures; added link state update (currently ignored)