Corrected static check errors (on requirement's implementation status)