pub fn instances_compatible(a: &Instance, b: &Instance) -> bool
Check whether two instances are compatible (same class, overlapping params).