pub trait ObjectAssertion: Trace { fn run( &self, super_obj: Option<ObjValue>, this: Option<ObjValue> ) -> Result<()>; }