Symbol: termp__a_pre