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

else {
movableBeforeAndAfter.add(node);
}
}
else if(movableNonMappedNodeBeforeFirstMappedNode) {
if(controlParentExaminesVariableUsedInNonMappedNode(node, removableNodes) && !isFirstNonMappedNode(removableNodes, node)) {
PreconditionViolation violation = new StatementPreconditionViolation(node.getStatement(),
PreconditionViolationType.UNMATCHED_STATEMENT_CANNOT_BE_MOVED_BEFORE_THE_EXTRACTED_CODE_DUE_TO_CONTROL_DEPENDENCE);
nodeMapping.addPreconditionViolation(violation);
