Table constructed_generic

predicate constructed_generic(@generic constructed, @generic_or_ref generic)