इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें एसएसए औपचारिक रूप से गैर-स्थानीय नियंत्रण प्रवाह को छोड़कर सीपीएस के एक अच्छी तरह से व्यवहार वाले उप-समूह के बराबर है, जो तब नहीं होता है जब सीपीएस को मध्यवर्ती प्रतिनिधित्व के रूप में उपयोग किया जाता है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "एसएसए औपचारिक रूप से सीपीएस के एक अच्छी तरह से व्यवहार वाले उप-समूह के बराबर है (गैर-स्थानीय नियंत्रण प्रवाह को छोड़कर, जो सीपीएस के मध्यवर्ती प्रतिनिधित्व के रूप में उपयोग किए जाने पर नहीं होता है), इसलिए एक के संदर्भ में तैयार किए गए अनुकूलन और परिवर्तन तुरंत दूसरे पर लागू होते हैं। "