Applications of the implicitly constrained synthesis technique