Memory-safety annotations checker for oSCJ programs.