Verify that CaseOfCase UPLC transformation doesn't make expression stricter than needed

[effectfully]

The task is to verify that a UPLC program like this one

    case (if b then true else false) of
      true  -> ()
      false -> error ":boom:"

doesn't get transformed to

if b
  then ()
  else error ":boom:"

where error is evaluated strictly.