Universal backend: add mutability testing primitives