Enabled profile option.
Generated label for Boolean operators are now unique.
Recently added benchmarks.
Added TODO.