Fixed a bug: goal_expansion perform unifications in the head! be careful