Utilizing Partial Policies for Identifying Equivalence of Behavioral Models