final ISimplifiedROMap<String, PrologTerm> bindings) {
ListPrologTerm p = BindingGenerator.getList(bindings
.get(PREFS_VARIABLE));
prefs = new ArrayList<ProBPreference>();
for (PrologTerm term : p) {
<BUG>ProBPreference preference = null;
preference = verifyTerm(term);
</BUG>
prefs.add(preference);
}

final ISimplifiedROMap<String, PrologTerm> bindings) {
ListPrologTerm p = BindingGenerator.getList(bindings
.get(PREFS_VARIABLE));
prefs = new ArrayList<ProBPreference>();
for (PrologTerm term : p) {
ProBPreference preference = verifyTerm(term);
prefs.add(preference);
