tests addef for invocation