==> RUN on creddy_prover
---running scenario s1 
   PASSED
---running scenario s2 
   PASSED
---running scenario s3 
   PASSED
---running scenario s4 
   PASSED
---running scenario s5 
   PASSED
---running scenario s6 
   PASSED