CallExpression (@NotNull ImperativeCommand.Environment env) { boolean isExternal = env.generateValue(Generator.booleans(), null); TaintState callType = env.generateValue(Generator.sampledFrom(TaintState.values()), null); return new CallExpression(isExternal, callType); }