adds contract conjunction and alternation