prop_orIsLazyInSecondArgument i
  = testInt (true ||| undefined) i || True
prop_orIsLazyInSecondArgument i
  = testInt (true ||| undefined) i || True
prop_orIsLazyInSecondArgument i
  = testInt (true ||| undefined) i || True