Wyślij wiadomość: On learning assumptions for compositional verification of probabilistic systems