Add ExecutionEngine#functions