variable is used as an input variable at SMC
boolean variable by
the variable, whose
Info REFERENCE TO Variable