analysis of preconditions 495493

Loading…