Compiler for the SystemJ language to model-checkers and theorem provers