Play Analyzing Code with Infer#