A preference semantics for imperatives · Study