Java backend: enable LocalVariableChecker in doing substitution