Property Satisfiability Analysis for Product Lines of Modelling Languages