fix bug in the variable? function
change unify to unity on term's functors
removed prn stmt
remove prn statement
analysis example