updated the disjoint class adding eval function, ast_fold error