Added unification bug fix for the LHS of FOL sentence