Add imperative counter examples