Better solution for at least one argument or result constraint in
providers
Quickfixes for at least one constrains