finite and isEmpty IN DFD
Merge branch 'cacho'