Improved the value precondition check.