add check if function label is redefined
Test cases for things