All that hype on property based testing is just moving prolog to different platforms