// convenience method
public Variable varOfIndex (int t, int j)
{
LabelsAssignment lblseq = (LabelsAssignment) instance.getTarget ();
return lblseq.varOfIndex (t, j);
}
public int numSlices ()
{
LabelsAssignment lblseq = (LabelsAssignment) instance.getTarget ();