Text this: Defects in Product Line Models and How to Identify Them