CIF language tutorial should be clearer about initialization predicates in components vs locations

See this discussion: !696 (comment 1609365)

It should be clear that initialization predicates in components restrict those of locations. Thus, locations need initialization predicates as well. And that needs to be in an example.