Merge branch 'master' into Eran
report empty functions
Merge branch 'Eran'