Feature diagrams are widely used to model product line variant . Formal Verification of variant requirements has gained much interest in the software product line(SPL) community . However, there is a lack of precisely ...