Class BasicNullaryStatement<T extends IVariable>