finished the second unfolding, and third unfolding need only to unify
the variables of views and ans1