Corrected byteman core tests. This should not be hardcoded