fix metamodel name
TODO: use SAT solver