remove leftover code, ensure default value is consistent with contraint, correct transformation, improve guess