When doing ti on a polymorphic definition first unify the control variable, then the rest.
When doing ti on a polymorphic definition first unify the control variable, then the rest.

sunfishcode/cretonne,stoklund/cretonne,stoklund/cretonne,stoklund/cretonne,sunfishcode/cretonne,sunfishcode/cretonne