Function bound_scalar 

fn bound_scalar(
    term: &Term,
    bindings: &HashMap<String, DiagnosticScalar>,
) -> Option<DiagnosticScalar>