forAll package:skeletest