generated at
cause-effect graph