Towards Substructural Property-Based Testing. - Marco Mantovani 002; Alberto Momigliano (LOPSTR, 2021)