update Preconditions module