Prop - delete trailing spaces
Prop - partially
MoreCoq - simplify a little bit
MoreCoq - split_combine simplified