// FrameOperator
if( comp[i] instanceof FrameOperatorPanel ){
System.out.println("EIN Frame!!!");
final FrameOperatorPanel fop = (FrameOperatorPanel) comp[i];
for (int j = 0; j < fop.getFrameOperator().getTerms().size(); j++) {
if((fop.getFrameOperator().getTerms().get(j).isConstant() || fop.getFrameOperator().getTerms().get(j).isVariable()) && !this.listContainsElement(varTerms,fop.getFrameOperator().getTerms().get(j).getValue())){
varTerms.add(fop.getFrameOperator().getTerms().get(j));
}
}
} // end FrameOperator