Chain availExprs = ae.getAvailableEquivsBefore(s); List availPairs = ae.getAvailablePairsBefore(s);
Chain availExprs = ae.getAvailableEquivsBefore(s); List availPairs = ae.getAvailablePairsBefore(s);
Chain availExprs = ae.getAvailableEquivsBefore(s); List availPairs = ae.getAvailablePairsBefore(s);