Now Specification are used instead of raw condition instructions