MARCH VERDI

Application based on node types associated with implicit backtracking