Changed naming of constraints to reflect that it is a module