Fixing the Java bytecode verifier by a suitable type domain