changed Compiler.lagda in src/ to use real IF duplication of branches