let
occurs v t =
List
.mem v (vars t)