- Modified repairer.JMLAnnotatedClass
	*	fixed regular expression on constructor

- Modified tools.TacoAPI
	*	singleton implementation for the class
	*	method sat is implemented