added variable arity for contexts to account for occasional absence of Gamma in some rules
added variable arity for contexts to account for occasional absence of Gamma in some rules

ankitku/awotap,ankitku/awotap