// TODO check public boolean isApplicableTo(State state) { return OperatorImp.isApplicableTo(this, state); }
// TODO check public State applyTo(State state) { return OperatorImp.applyTo(this, state); }