disable debug
add functional program tree validator