fix in variability encoding classes
added missing import in fstgen/../SimplePrintVisitor.java