remove builtins fields from JavaSymbolicKRun