Always generate a method body, even if it is empty
Always generate a method body, even if it is empty

This fixes an issue where Dafny would otherwise prove empty methods always correct.

Alchiadus/dafny-transpiler