Function solution_from_simplified_json 

pub fn solution_from_simplified_json(
    value: &Value,
    domains: &BTreeMap<Name, DomainPtr>,
) -> Result<BTreeMap<Name, Literal>>

Parse a single assignment object.