generated at
barrier analysis