transition no_problemo () requires { V=False && (Loup_droite=Chevre_droite => Bateau_droite=Chevre_droite) && (Pomme_droite=Chevre_droite => Bateau_droite=Chevre_droite) } { V := True }