* Update Alloy backend to consider two kind of root systems