Calculating number of checkboxes and number of checked checkboxes

gistfile1.xml

<xh:html xmlns:xh="http://www.w3.org/1999/xhtml" xmlns:xf="http://www.w3.org/2002/xforms"
         xmlns:xs="http://www.w3.org/2001/XMLSchema"
         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
         xmlns:ev="http://www.w3.org/2001/xml-events"
         xmlns:xi="http://www.w3.org/2001/XInclude"
         xmlns:xxi="http://orbeon.org/oxf/xml/xinclude"
         xmlns:xxf="http://orbeon.org/oxf/xml/xforms"
         xmlns:exf="http://www.exforms.org/exf/1-0"
         xmlns:fr="http://orbeon.org/oxf/xml/form-runner"
         xmlns:saxon="http://saxon.sf.net/"
         xmlns:sql="http://orbeon.org/oxf/xml/sql"
         xmlns:soap="http://schemas.xmlsoap.org/soap/envelope/"
         xmlns:fb="http://orbeon.org/oxf/xml/form-builder">
    <xh:head>
        <xh:title>Untitled Form</xh:title>
        <xf:model id="fr-form-model" xxf:expose-xpath-types="true">

            <!-- Main instance -->
            <xf:instance id="fr-form-instance">
                <form>
                    <section-1>
                        <removed/>
                        <control-3/>
                        <added/>
                        <control-4/>
                        <control-6/>
                        
                    </section-1>
                </form>
            </xf:instance>

            <!-- Bindings -->
            <xf:bind xmlns:dataModel="java:org.orbeon.oxf.fb.DataModel" id="fr-form-binds"
                     ref="instance('fr-form-instance')">
                <xf:bind id="section-1-bind" name="section-1" ref="section-1">
                    <xf:bind id="removed-bind" ref="removed" name="removed"/>
                    <xf:bind id="control-3-bind" ref="control-3" name="control-3"
                             calculate="count(xxf:itemset('a-control', 'xml')/itemset/choices/item)"/>
                    <xf:bind id="control-4-bind" ref="control-4" name="control-4"
                             calculate="count(xxf:split($a))"/>
                    <xf:bind id="added-bind" ref="added" name="added"/>
                    <xf:bind id="control-6-bind" ref="control-6" name="control-6"/>
                    
                </xf:bind>
            </xf:bind>

            <!-- Metadata -->
            <xf:instance xxf:readonly="true" id="fr-form-metadata">
                <metadata>
                    <application-name>a</application-name>
                    <form-name>a</form-name>
                    <title xml:lang="en">Untitled Form</title>
                    <description xml:lang="en"/>
                </metadata>
            </xf:instance>

            <!-- Attachments -->
            <xf:instance id="fr-form-attachments">
                <attachments>
                    <css mediatype="text/css" filename="" size=""/>
                    <pdf mediatype="application/pdf" filename="" size=""/>
                </attachments>
            </xf:instance>

            <!-- All form resources -->
            <!-- Don't make readonly by default in case a service modifies the resources -->
            <xf:instance id="fr-form-resources" xxf:readonly="false">
                <resources>
                    <resource xml:lang="en">
                        <removed>
                            <item>
                                <label>First choice</label>
                                <value>one</value>
                            </item>
                            <item>
                                <label>Second choice</label>
                                <value>two</value>
                            </item>
                            <item>
                                <label>Third choice</label>
                                <value>three</value>
                            </item>
                            <label>Removed</label>
                            <hint/>
                        </removed>
                        <control-3>
                            <label>Total number of checkboxes in A</label>
                            <hint/>
                        </control-3>
                        <added>
                            <item>
                                <label>First choice</label>
                                <value>one</value>
                            </item>
                            <item>
                                <label>Second choice</label>
                                <value>two</value>
                            </item>
                            <item>
                                <label>Third choice</label>
                                <value>three</value>
                            </item>
                            <label>Added</label>
                            <hint/>
                        </added>
                        <control-4>
                            <label>Number of checked checkboxes in A</label>
                            <hint/>
                        </control-4>
                        <control-6>
                            <label>Constraint</label>
                            <hint>0 &lt;= number in removed - removed checked + added checked &lt;= 3</hint>
                        </control-6>
                        <section-1>
                            <label>Untitled Section</label>
                        </section-1>
                        
                    </resource>
                </resources>
            </xf:instance>

            <!-- Utility instances for services -->
            <xf:instance id="fr-service-request-instance" xxf:exclude-result-prefixes="#all">
                <request/>
            </xf:instance>

            <xf:instance id="fr-service-response-instance" xxf:exclude-result-prefixes="#all">
                <response/>
            </xf:instance>

        </xf:model>
    </xh:head>
    <xh:body>
        <fr:view>
            <fr:body xmlns:xbl="http://www.w3.org/ns/xbl"
                     xmlns:dataModel="java:org.orbeon.oxf.fb.DataModel"
                     xmlns:oxf="http://www.orbeon.com/oxf/processors"
                     xmlns:p="http://www.orbeon.com/oxf/pipeline">
                <fr:section id="section-1-control" bind="section-1-bind">
                    <xf:label ref="$form-resources/section-1/label"/>
                    <fr:grid>
                        <xh:tr>
                            <xh:td>
                                <xf:select id="removed-control" appearance="full" bind="removed-bind">
                                    <xf:label ref="$form-resources/removed/label"/>
                                    <xf:hint ref="$form-resources/removed/hint"/>
                                    <xf:alert ref="$fr-resources/detail/labels/alert"/>
                        
                        
                                    <xf:itemset ref="$form-resources/removed/item">
                                        <xf:label ref="label"/>
                                        <xf:value ref="value"/>
                                    </xf:itemset>
                                </xf:select>
                                
                            </xh:td>
                            <xh:td>
                                <xf:output id="control-3-control" bind="control-3-bind">
                                    <xf:label ref="$form-resources/control-3/label"/>
                                    <xf:hint ref="$form-resources/control-3/hint"/>
                                    <xf:alert ref="$fr-resources/detail/labels/alert"/>
                        
                        
                                </xf:output>
                            </xh:td>
                        </xh:tr>
                        <xh:tr>
                            <xh:td>
                                <xf:select id="added-control" appearance="full" bind="added-bind">
                                    <xf:label ref="$form-resources/added/label"/>
                                    <xf:hint ref="$form-resources/added/hint"/>
                                    <xf:alert ref="$fr-resources/detail/labels/alert"/>
                        
                        
                                    <xf:itemset ref="$form-resources/added/item">
                                        <xf:label ref="label"/>
                                        <xf:value ref="value"/>
                                    </xf:itemset>
                                </xf:select>
                            </xh:td>
                            <xh:td>
                                <xf:output id="control-4-control" bind="control-4-bind">
                                    <xf:label ref="$form-resources/control-4/label"/>
                                    <xf:hint ref="$form-resources/control-4/hint"/>
                                    <xf:alert ref="$fr-resources/detail/labels/alert"/>
                        
                        
                                </xf:output>
                            </xh:td>
                        </xh:tr>
                        <xh:tr>
                            <xh:td>
                                <xf:output id="control-6-control" bind="control-6-bind">
                                    <xf:label ref="$form-resources/control-6/label"/>
                                    <xf:hint ref="$form-resources/control-6/hint"/>
                        
                                    <xf:alert ref="$fr-resources/detail/labels/alert"/>
                                </xf:output>
                            </xh:td>
                            <xh:td/>
                        </xh:tr>
                    </fr:grid>
                </fr:section>
            </fr:body>
        </fr:view>
    </xh:body>
</xh:html>