DFAOrderEvaluator

fun DFAOrderEvaluator(    consideredBases: Set<Long>,     nodeToRelevantMethod: Map<Node, String>,     thisPositionOfNode: Map<Node, Int> = mapOf(),     eliminateUnreachableCode: Boolean = true)