added Sctptest script to test safety property violation based on logs