Module test.operators.

Rule checkRange given x as Int, produce Int:
  Let doubled be x.
  Return doubled.