WyC: fixed problem with disambiguating variable declarations.