Function inferred_assertions 

pub fn inferred_assertions(
    profile: ReasonerId,
    input: &ReasonerInput,
) -> Result<InferredAssertions>