+1 - perhaps this could help with my issue here https://forum.diffblue.com/t/catching-both-default-and-non-default-inputs/93
+1 - perhaps this could help with my issue here https://forum.diffblue.com/t/catching-both-default-and-non-default-inputs/93