added an option --strict-volatile-rule

it forces only one volatile accesses between any pair of sequence points