pub fn reflect(_a1: &Instance, _a2: &Instance) -> Result<Instance, Error>
TODO: This built-in is not implemented!