module LambdaCalculus::Conditional0

def condition
  elements[4]
end

def false_case
  elements[12]
end

def space
  elements[1]
end

def space
  elements[3]
end

def space
  elements[5]
end

def space
  elements[7]
end

def space
  elements[9]
end

def space
  elements[11]
end

def true_case
  elements[8]
end