soft

Verifies that each function call occurred at least once in any order. It allows unverified calls.