public override bool IsViolated() { return(IsBound() && !Epsilon.GreaterEqual(Var0.Value, m_Value)); }