Add the expr body or function name in Response object

[jbtrystram]

Consider the following pattern: pattern can-drink = $(self > 18) .

The input 12 produce the following result :

{
  "name": {
    "pattern": "playground::can-drink"
  },
  "input": 10,
  "satisfied": false,
  "reason": "The expression defined in the pattern is not satisfied"
}

This makes it hard to debug, because when inspecting i don't really know what expression the input was checked against

Here it is pretty easy. but if you consider a slightly more complicated pattern :

pattern can-drink = $(self > 18)
pattern can-drive = $(self > 16)

pattern responsible-person = can-drink && can-drive

Giving it 17 only fails one :

{
  "name": {
    "pattern": "lang::and"
  },
  "bindings": {
    "terms": []
  },
  "input": 17,
  "satisfied": false,
  "reason": "The input does not satisfy the function",
  "rationale": [
    {
      "name": {
        "pattern": "playground::can-drink"
      },
      "bindings": {
        "terms": []
      },
      "input": 17,
      "satisfied": false,
      "reason": "The expression defined in the pattern is not satisfied"
    },
    {
      "name": {
        "pattern": "playground::can-drive"
      },
      "bindings": {
        "terms": []
      },
      "input": 17,
      "output": 17,
      "satisfied": true,
      "reason": "The expression defined in the pattern is satisfied"
    }
  ]
}

this is harder to debug, although in this case, both patterns have names so it's ok.
make it harder : pattern responsible-person = $(self > 18) && $(self > 16)

Then the result is :

{
  "name": {
    "pattern": "lang::and"
  },
  "bindings": {
    "terms": [
      {
        "Expr": {
          "GreaterThan": [
            {
              "SelfLiteral": []
            },
            {
              "Value": {
                "Integer": 18
              }
            }
          ]
        }
      },
      {
        "Expr": {
          "GreaterThan": [
            {
              "SelfLiteral": []
            },
            {
              "Value": {
                "Integer": 16
              }
            }
          ]
        }
      }
    ]
  },
  "input": 17,
  "satisfied": false,
  "reason": "The input does not satisfy the function",
  "rationale": [
    {
      "input": 17,
      "satisfied": false,
      "reason": "The expression defined in the pattern is not satisfied"
    },
    {
      "input": 17,
      "output": 17,
      "satisfied": true,
      "reason": "The expression defined in the pattern is satisfied"
    }
  ]
}