precondtion, postcondit 추가