Documentation and some ciao tests