Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains