Add parameter precondition check.