Module test.let.in.if.

Rule testLetInIf given x, produce:
  Return 0.