use CASL spec-inst in unit-spec to avoid ambiguities