PreconditionViolationType.UNMATCHED_STATEMENT_CANNOT_BE_MOVED_BEFORE_OR_AFTER_THE_EXTRACTED_CODE);
nodeMapping.addPreconditionViolation(violation);
preconditionViolations.add(violation);
}
else if(movableNonMappedNodeBeforeFirstMappedNode && movableNonMappedNodeAfterLastMappedNode) {
<BUG>if(controlParentExaminesVariableUsedInNonMappedNode(node, removableNodes)) {
PreconditionViolation violation = new StatementPreconditionViolation(node.getStatement(),</BUG>
PreconditionViolationType.UNMATCHED_STATEMENT_CANNOT_BE_MOVED_BEFORE_THE_EXTRACTED_CODE_DUE_TO_CONTROL_DEPENDENCE);
nodeMapping.addPreconditionViolation(violation);
preconditionViolations.add(violation);

PreconditionViolationType.UNMATCHED_STATEMENT_CANNOT_BE_MOVED_BEFORE_OR_AFTER_THE_EXTRACTED_CODE);
nodeMapping.addPreconditionViolation(violation);
preconditionViolations.add(violation);
