def procedure_environment(expr): return cadddr(expr)
def if_alternative(expr): if cdddr(expr) is not EmptyList: return cadddr(expr) return False