Reduce dependence of rules from internals of Semantic Analysis