Some constraint can, via multiple constraint validator implementations, target the return value as well as he array of parameters of an executable