TODO: filter out from global unification functions that are registers