WyC: more statement kinds now supported. #174