Feature diagrams are the most widely used to model product line variant. Formal Verification of variant requirements has gained much interest in the software product line (SPL) community. Successful development of a software ...