Email Record: Defects in Product Line Models and How to Identify Them