Add inductive properties on append/2