Small fixes for getting-started.md

docs/getting-started.md

@@ -58,8 +58,10 @@ contract MyToken is ERC20 {
 Then you can write a `setUp()` function that creates a new token contract with a _symbolic_ initial supply, as follows:
 ```solidity
 import {SymTest} from "halmos-cheatcodes/SymTest.sol";
+import "forge-std/Test.sol";
+import "./MyToken.sol";
 
-contract MyTokenTest is SymTest {
+contract MyTokenTest is SymTest, Test {
     MyToken token;
 
     function setUp() public {
@@ -104,7 +106,7 @@ Below is an example symbolic test for the token transfer function:
 function check_transfer(address sender, address receiver, uint256 amount) public {
     // specify input conditions
     vm.assume(receiver != address(0));
-    vm.assume(token.balance(sender) >= amount);
+    vm.assume(token.balanceOf(sender) >= amount);
 
     // record the current balance of sender and receiver
     uint256 balanceOfSender = token.balanceOf(sender);