currently fixing tree check recursion
fixed merge conflict
recursive check bug fixed, recursive assignment bug fixed at backend