Also save cross-referencing information for calls to synchronized predicates