PRAXIS: Integrating Program Analysis with Observability for Root-Cause Analysis