#Weird formatting is so that all uses and defn are on separate lines
#to assist checking test results.


def no_phi(cond):
    l0 = 0
    l1 = 1
    l2 = l0 + l1
    return l2