Added the example and solution to unnecessary record expansion in function clause head
Added the example on no distinction on branching value and passed value