WyC: updated invalid test cases to remove redundant import