AL: A new declarative language for detecting bugs with Infer | Heykuki News