#vulnerable code 
                             @Override
	protected Map<TableUniqueName, String> tableSubstitution() {
		return ImmutableMap.of();
	} 
                            #location 2 
                            #vulnerability type CHECKERS_IMMUTABLE_CAST
#fixed code
                             @Override
	protected Map<TableUniqueName, String> tableSubstitution() {
		return source.tableSubstitution();
	}