Function biodivine_sketchbook::algorithms::eval_static::encode::encode_property_in_context

pub fn encode_property_in_context(
    context_formula: &str,
    property_formula: &str,
) -> String

Create a FOL formula encoding that particular formula must hold if “context” formula holds.