let rec apply alpha x = match alpha with
    | [] -> None
    | (y,y')::s ->
        if Fol.Var.equal x y then Some y' else apply s x