- BooleanEdge tmp(stat_ptr);
- bool isNegated = tmp.isNegated();
- ASSERT(map.contains(tmp.getBoolean()));
- stat_ptr = (Boolean*) map.get(tmp.getBoolean());
- BooleanEdge res(stat_ptr);
- BooleanEdge undefStatus = isNegated?res.negate():res;
-
+ BooleanEdge undefStatus;
+ if(stat_ptr != NULL){
+ BooleanEdge tmp(stat_ptr);
+ bool isNegated = tmp.isNegated();
+ ASSERT(map.contains(tmp.getBoolean()));
+ stat_ptr = (Boolean*) map.get(tmp.getBoolean());
+ BooleanEdge res(stat_ptr);
+ undefStatus = isNegated?res.negate():res;
+ } else {
+ undefStatus = NULL;
+ }