should not always add propagateState

[zhfnjust]

pragma solidity ^0.8.10;

contract SimpleStorage {

    function foo() external {

    }
}

should transpile to

contract SimpleStorage {
  public function foo() {
    require(true);
  }

}

but got

contract SimpleStorage {
  public function foo(SigHashPreimage txPreimage) {
    require(this.propagateState(txPreimage));
  }

  function propagateState(SigHashPreimage txPreimage) : bool {
    require(Tx.checkPreimage(txPreimage));
    bytes outputScript = this.getStateScript();
    bytes output = Utils.buildOutput(outputScript, SigHash.value(txPreimage));
    return hash256(output) == SigHash.hashOutputs(txPreimage);
  }
}

[zhfnjust]

this is expected result