Class BasicUnaryStatement<T extends IVariable>