Correcting for missing return in non-runtime requirements checks