Hmm, how about just doing away with the functionInvocation type and just provide two "adverbial" assertions that produce the return value.