Changed constructor visibility for DFACacheOracle, moved method in AbstractLStar