java.lang.VerifyError: Instruction type does not match stack map

The error happens when instructing class like

```
public class Main
{
public synchronized static boolean h()
{
return true;
}
}

```

Start by reproducing the VerifyError with the synchronized static Java class shown in the issue. Inspect the checker path that instruments this class and compare the generated bytecode's stack-map frames with the JVM verifier's requirements. Done means the example no longer produces the error and existing checks still pass.

Written by the indexing model from the issue text.