verification on function type is  added