* context const correctness * added support for aliased variables to context * code coverage to avoid regressions