public boolean hasNonExecuted() {
   return replaced_eSeq.hasNonExecutedStatements();
 }