Lobsters: Ciao - Assertions and their Use