added getConditions in And.java