Class BasicUnaryStatement<T extends IVariable<T>>