Add precondition checking of parameter values for already implemented
service classes