Class BasicNullaryStatement<T extends IVariable<T>>