Function can_transition 

pub fn can_transition(
    spec: &WorkflowSpec,
    from: &str,
    to: &str,
    has_evidence: impl Fn(&str) -> bool,
) -> Result<(), String>