context $a, $b, $c;
predicate1 {
predicate2 {
}}

##</code><code>##

context $a, $b, $c;
predicate1 {
context $a, $b, $c;
predicate2 {
}}