report instances instead class names; asser implementation of loop_body