Add exception hadling for Precondition