rewrite finite_domain2ints to use LTL_AST.sub_constants
rewrite finite_domain2ints to use LTL_AST.sub_constants

merge _sub_vars with finite_domain2ints
necozay/tulip-control,necozay/tulip-control,necozay/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,necozay/tulip-control,tulip-control/tulip-control,necozay/tulip-control