Add CheckErlang: check for +debug_info