fix bug pre-condition option