Create CTL_Functions.ml