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