created definitions for transfer functions over Call statements (except for CP).

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>