Lilac: A Modal Separation Logic for Conditional Probability