Function insert_triple 

pub fn insert_triple(
    home: &UnifierHome,
    subject: &str,
    predicate: &str,
    object: &str,
) -> Result<()>