PhaseOptions.v().setPhaseOptionIfUnset("jb.lns", "only-stack-locals");
PhaseOptions.v().setPhaseOptionIfUnset("jj.lns", "only-stack-locals");
PhaseOptions.v().setPhaseOptionIfUnset("jb.lns", "only-stack-locals");
PhaseOptions.v().setPhaseOptionIfUnset( "jj.lns", "only-stack-locals");
PhaseOptions.v().setPhaseOptionIfUnset( "jj.lns", "only-stack-locals");
PhaseOptions.v().setPhaseOptionIfUnset( "jb.lns", "only-stack-locals");
PhaseOptions.v().setPhaseOptionIfUnset( "jb.lns", "only-stack-locals");