C backend: Change the name of the True and False values
C backend: Compile pattern matching