def procedureEnvironment(p): return pair.cadddr(p)
def ifAlternative(exp): if not pair.isNull(pair.cdddr(exp)): return pair.cadddr(exp) return false