Properly float checks in the body of a let
Typo in simplifyC
Better simplify for Cand