module Origen::Specs::Checkers