add buggy test case
fix under-approximation (take into account intermediary processes during saturation)