added some tests in vasic and fixed one rule.