accelerate → ansi-c Relation

File in src/goto-instrument/accelerate	Includes file in src/ansi-c
acceleration_utils.cpp	expr2c.h
polynomial_accelerator.cpp	expr2c.h