It would be helpful to pass identifiers and flags to engines to allow them to print more info in case of ATS "debug cells".