Resgisters extended. More constraints added.