towards better multistate path comparison