One test for granule-frontend fails in 0.9.5.0

[andreasabel]

granule-frontend       > Failures:             
granule-frontend       >                       
granule-frontend       >   tests/hspec/Language/Granule/Synthesis/SynthSpec.hs:161:13: 
granule-frontend       >   1) Language.Granule.Synthesis.Synth, Construcor test for Either, Branch on (Left : a -> Either a b)
granule-frontend       >        expected: Size = 1
granule-frontend       >                   - ((T ∧ T) -> ∃ y : Nat . T ∧ T ∧ (y ⊔ y = ub0) ∧ ((1 : Nat) = y * r0) ∧ (y * r0 = r0 * r0))
granule-frontend       >         but got: Size = 1
granule-frontend       >                   - ((T ∧ T) -> ∃ y : Nat . T ∧ T ∧ (y ⊔ y = ub0) ∧ ((1 : Nat) = y * 1) ∧ (y * 1 = r0))
granule-frontend       >                       
granule-frontend       >   To rerun use: --match "/Language.Granule.Synthesis.Synth/Construcor test for Either/Branch on (Left : a -> Either a b)/"
granule-frontend       >                       
granule-frontend       > Randomized with seed 488633885

[dorchard]

Thanks @andreasabel . @jackohughes - this is in the tests for synthesis of case expressions. I started at the expected output and the paper and to me they appear to agree. Any ideas?