feature model name included in satisfiability dialog