Some ways for improving performance

  - Add --profiling option, which Leon waits 10 sec for profiler
	- Run Simp-solver without Timeout for speed up
	- Run Function invocation appy without checking type for speed up