CFA constraint generation (first draft).