For code like: ``` parallel p by p-bound parallel q by q-bound ``` The 'p-bound' and 'q-bound' should be checked according to the target capability.
For code like:
The 'p-bound' and 'q-bound' should be checked according to the target capability.