Added RQC nesting

Tested generation constraint
Implementing benchmark