Fixed bug. Wasn't treating the variable as a pattern variable, but as a concrete variable.
Fixed bug. Wasn't treating the variable as a pattern variable, but as a concrete variable.

seplogic/jstar,seplogic/jstar,MatkoBotincan/corestar-old,septract/jstar-old,septract/jstar-old,seplogic/jstar