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