feat(protocol): compound sub-statement scope (#742)