Now it builds the CALL instruction as either non-terminating call (expr call) or terminating call (CALL).