String r = func.exec(t1);
assertTrue(r.equals("s"));
r = func.exec(t2);
assertTrue(r==null);
try {
r = func.exec(t3);
fail("Exception not triggered");
} catch (IOException e) {
assertTrue(e.getMessage().equals("BinCond : Encounter null in the input"));
}
}