Enable calling multiple SUT
functions per invariant testing run
#129
Annotations
8 warnings
SUT
functions per invariant testing run
#129