Yices output
variable defines
Creacion de variables en PRE y POST
Merge branch 'branch_2'

Conflicts:
	.DS_Store
	implang.ml
	main.ml
	test2.c
	yices.ml