New: and-analysis