deployExpectingAssertionFailure("testFalseIsTrue.sf");
Throwable t=deployExpectingAssertionFailure("testFalseIsTrue.sf"); SmartFrogAssertionException sfe= extractAssertionException(t); assertContains(sfe.getMessage(),"truth and falsehood");
    public void testFalseIsTrue() throws Throwable {        deployExpectingAssertionFailure("testFalseIsTrue.sf");    }