almost all tests are checked in ifcheck function , so there are only checked some tests concode_field_sep Object classField concode_field_sep Object returnNull concode_elem_sep void ifCheck concode_elem_sep boolean someFunction concode_elem_sep void whileCyclesCheck concode_elem_sep void allTypesCheck
void function ( ) { Object loc0 = new Object ( ) ; for ( ; null == loc0 ; ) { } for ( loc0 = null ; null == loc0 ; loc0 = null ) { } }