@SuppressWarnings("rawtypes")
private List<PropositionImpl> getPropositionFromProblemExp(Exp exp, boolean negated){
List<PropositionImpl> propositionImpls = new ArrayList<PropositionImpl>();
switch (exp.getExpID()) {
case AND:
AndExp andExp = (AndExp) exp;
for (Exp and : andExp) {
propositionImpls.addAll(getPropositionFromProblemExp(and, false));
}
break;
case ATOMIC_FORMULA: