Language Program analysis