k3-sle: Incompatible aspects weaving subtyping tests