anchor.diff:          let operator = parseIdentifier
           operator .>>. parseArgs |>> Call
   
  +      let parseIfExpr =
  +        let ifExpr = parseIf >>. parseExpr .>> parseWhiteSpace1
  +        let thenExpr = parseThen >>. parseExpr .>> parseWhiteSpace1
  +        let elseExpr = parseElse >>. opt parseExpr .>> parseWhiteSpace1
  +        let parseIfElseExpr = pipe3 ifExpr thenExpr elseExpr
  +        parseIfElseExpr (fun if' then' else' -> If (if', then', else'))
  +
  +      let parseForExpr =
  +        let initial = parseFor >>. parseAssign
  +        let condition = parseComma >>. parseExpr .>> parseWhiteSpace
  +        let increment = opt (parseComma >>. parseExpr .>> parseWhiteSpace)
  +        let body = parseIn >>. parseExpr
  +        pipe4
  +          initial 
  +          condition 
  +          increment 
  +          body 
  +          (fun (id, assign) condition increment body -> For (id, assign, condition, increment, body))
  +
         choice [
           parseNumber
           attempt parseCall
           attempt parseVariable
  +        attempt parseIfExpr
  +        attempt parseForExpr
         ]
  -  
       let private addSymbolicInfixOperators (op : Operator) opp =
         let operator = 
           InfixOperator(
  
positive.code:       let argsV = 
          let n = Math.Max((Seq.length arguments), 1)
          let argsV = Array.zeroCreate n
          let argsV = Seq.map2 (fun expr _valueRef -> codegenExpr namedValues expr) arguments argsV
          Seq.toArray argsV
        LLVM.BuildCall(builder, calleeF, argsV, "calltmp")
  
    let rec private codegenDecl (namedValues: Map<string, LLVMValueRef>) =
      function
      | Prototype (name, arguments) -> 
        let argumentCount = (uint32 << Seq.length) arguments
  
negative.code:   let parseComma = pstring Comma .>> parseWhiteSpace
    let isSymbolicOperatorChar = isAnyOf SpecialCharacters
  
    let remainingOperatorCharsAndWhiteSpace = manySatisfy isSymbolicOperatorChar .>> parseWhiteSpace
  
    let parseWhiteSpace1 = spaces1
  