Add safety-liveness classification

1 job for master in 1 minute and 42 seconds