WyC: possible bug fix for parsing of cast expressions.